﻿/**
 *    Copyright 2006 - 2011 Opera Software ASA
 *
 *    Licensed under the Apache License, Version 2.0 (the "License");
 *    you may not use this file except in compliance with the License.
 *    You may obtain a copy of the License at
 *
 *        http://www.apache.org/licenses/LICENSE-2.0
 *
 *    Unless required by applicable law or agreed to in writing, software
 *    distributed under the License is distributed on an "AS IS" BASIS,
 *    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 *    See the License for the specific language governing permissions and
 *    limitations under the License.
 *
 **/


#js-source {
  position:relative;
  padding:0;
  }

#js-source-scroll-content, #js-source-scroll-container {
  position:absolute;
  right:0px;
  top:0px;
  bottom:0px;
  overflow:auto;
  }

#js-source-scroll-content {
  left:40px;
  }

#js-source-scroll-container {
  /* the correct width is set dynamically 
     to scroll bar width in JsSourceView */
  width: 50px;
  }

#js-source-content div {
  color:#000;
  white-space: pre;
  overflow: hidden;
  padding-left: 10px;
  -o-tab-size: 4;
  }

#js-source-content .not-error
{
  display: inline-block;
  padding-left: 10px;
  margin-left: -10px;
}

#js-source-content .first-error-line
{
  position: relative;
  overflow: visible;
}

#js-source-content .error-description
{
  position: absolute;
  white-space: pre-wrap;
  left: 30px;
  top: 30px;
  height: auto;
  z-index: 1;
  padding: 10px;
  border: 1px solid #999;
  border-radius: 10px;
  box-shadow: 0 1px 2px rgba(0,0,0,.3);
  background: #fff;
}

/* line number */ 

#js-source-line-numbers {
  position: absolute;
  left: 0;
  top: 0;
  bottom: 0;
  background-color: #f3f3f3;
  width: 40px;
  border-right: 1px solid #e6e6e6;
  }

#break-point-container {
  background-color:transparent;
  }

#js-source-line-numbers li {
  position:relative;
  }

#js-source-line-numbers span {
  position: absolute;
  left: 0;
  top: 0;
  width: 40px;
  height: 100%;
  background: transparent url('../ui-images/line-types.png') no-repeat 0 0;
  }

#js-source-line-numbers input {
  width: 37px;
  text-align: right;
  border: none;
  margin: 0;
  padding: 0;
  padding-right: 3px;
  background-color: transparent;
  height: 100%; /* should be the same as the line height #js-source-content li */ 
  font-size: inherit;
  font-family: inherit;
  vertical-align: middle;
  color: #b3b3b3;
  }

#js-source-line-numbers input:hover {
  background-color:#f0f0f0;
  }


  


